软件测试

        错误推测法就是基于经验和直觉推测程序中所有可能存在的各种错误，有针对性地设计测试用例的方法。

        错误推断法的基本思想：列举出程序中所有可能有的错误和容易发生错误的特殊情况，根据它们选择测试用例。

                        1.设计一些非法、错误、不确和拉圾数据进行入测试。

                        2.如果软件只接受正数，那就输入负数。

                        3.如果软件对时间敏感，就看它在公元3000年是否还能正常工作。

                        4.输入数据和输出数据为0的情况，或者输入表格为空格或输入表格只有一行。

        因果图法：描述多种条件的组合，相应地产生多个动作的形式来考虑设计测试用例

        因果图法是从用自然语言书写的程序规格说明的描述中找出因(输入条件)和果(输出或程序状态的改变)，通过因果图转换为判定表。

        因果图生成的测试用例(局部， 组合关系下的) 包括了所有输入数据的取TRUE与取FALSE的情况， 构成的测试用例数目达到最少， 且测试用例数目随输入数据数目的增加而增加。

                ①分析程序规格说明的描述中，哪些是原因，哪些是结果。原因常常是输入条件或者是输入条件的等价类，而结果是输出条件

                ②分析程序规格说明的描述中语义的内容，并将其表示成连接各个原因与各个结果的‘因果图’ 

                ③标明约束条件。由于语法或环境的限制，有些原因和结果的组合情况是不可能出现的。为表明这些特定的情况，在因果图上使用若干个标准的符号标明约束条件。

                ④把因果图转换成判定表。

                ⑤为判定表中每一列表示的情况设计测试用例。

                ①恒等：若原因出现，则结果出现；若原因不出现，则结果也不出现。

                ②非(~)：若原因出现，则结果不出现；若原因不出现，则结果出现。

                ③或(Ⅴ)：若几个原因中有1个出现，则结果出现；若几个原因都不出现，则结果不出现。

                ④与(^)：若几个原因都出现，结果才出现。若其中有1个原因不出现，则结果不出现。

                为了表示原因与原因之间、结果与结果之间可能存在的约束条件，在因果图中可以附加一些表示约束条件的符号。

                ①E(互斥)表示a、b两个原因不会同时成立，两个中最多有一个可能成立。

                ②Ⅰ(包含)：表示a、b、c这3个原因中至少有一个必须成立。

                ③O(惟一)：表示a和b当中必须有一个，且仅有一个成立。

                ④R(要求)：表示当a出现时，b必须也出现。a出现时不可能b不出现。

                ⑤Ｍ(屏蔽)：表示当a是1时，b必须是0。而当a为0时，b的值不定。

 来自软件测评师教程，图片来自网络~ 个人随堂笔记，记录学习~